Oh, in fact this delta is due to a patch in the Ubuntu package (debian/patches/misc-changes.patch). So we're already trying to gracefully handle the missing-ptmx case, just not getting all the way there.
Oh, in fact this delta is due to a patch in the Ubuntu package (debian/ patches/ misc-changes. patch). So we're already trying to gracefully handle the missing-ptmx case, just not getting all the way there.