let
default_database_path =
Sys
.getenv
"HOME"
^
"/.ketrew/database"