Dump output in stdout, for easy redirection