Re-enable selinux stuff again...