Add the ability to change dump file prefix.

...for purposes of dumping to /tmp and such.