Another fix to the PKGBUILD