[PATCH v3 2/3] selinux: Remove 'make' dependency