[pacman-dev] [PATCH] get_filename : use the FILENAME field from the db.