#3211: Fedora buildboxes have messed up /dev/pts after the weekend outage