(get_database_filename): Return a filename instead of