remove the redirection to /dev/null

So that when things go awry, we see something (#4932).