fixing armsoc/PKGBUILD