Tagged selinux_desktop by hlieberman@debian.org