Noisy argument is of no use to us

Since we'll be doing all our data output to a file anyway, we'll be as
verbose as we want on stdout!