Re: [pacman-dev] [PATCH 3/7] pacman-key: improved reading of the configuration file