Fix #670. Redirect output to /dev/null