better /dev/null redirection