ec4a491d180b ("selinux: fix Makefile for versions of make < v4.3")
6f933aa7dfd0 ("selinux: more Makefile tweaks")
4ce1f694eb5d ("selinux: ensure av_permissions.h is built when needed")
bcab1adeaad4 ("selinux: fix Makefile dependencies of flask.h")