send ignored output to devnull

rather than PIPE, since Windows pipes can fill up.