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