[pacman-dev] [PATCH 5/7] pmdb: add option to skip populating file:// server