/dev/null != dev/null