Dump to file instead of cout.