change return type of Database::remove_file()