PKGBUILDs to build SELinux enabled packages for Arch Linux