Fix issues with the Arch Linux PKGBUILD