`get_file_relative_path()` should be replaced by simple access to `FILE_PATH`
get_file_relative_path()
duplicates the values already given in the FILE_PATH
column of the catalog, get_file_relative_path()
should be removed and FILE_PATH
should be used instead.
Edited by Eric Buchlin