Fix bug in PKGBUILD