Minimal selinux build for use by android-tools