Allows dump_wallet.py output to be easily piped to file