Adrian, Given the change in the kernel for devpts, would it be okay to change the obs scripts to mount devpts with -o remount option?