mount devpts correctly at system boot up