Add the ability to change dump file prefix.

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