do not assume 'nodev' on 'devpts'