[pacman-dev] [PATCH 4/4] pacman-key.sh.in: fix options' handling