Configuring a Linux NFS server in a SELinux-managed environment