[pacman-dev] [PATCH] makepkg: make strip options configurable