[pacman-dev] [PATCH] pacman-key: do not set a default keyserver