Stabile micromanager PKGBUILD