lazy umount of /dev/pts.