Re: [pacman-dev] [PATCH] makepkg: Add DEBUGDEST for a pkgtype of debug