[PATCH v2 3/4] selinux: Remove 'make' dependency