SELINUX_GIT_REPO made these modification useless :)