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