[pacman-dev] [PATCH 3/4] repo-add : remove the need of realpath for REPO_DB_FILE