Explicitly prompt user when disabling SELinux using dev-setup script.