#850578 selinux-basics: wrong label on /dev/pts/ptmx