freebsd ptsname needs to return /dev/