Redirect STDERR output to /dev/null , reported in #32