Fix selinux-config.rb