[pacman-dev] [PATCH 1/1] fix (database) filename handling