hrm... Maybe i'm forgetful but why do we need to do the same thing for dev_null here?