Fix piping of curl output to /dev/null.