FWIW, I spotted two bugs in the completely untested patch by running it through the compiler. s/dmp_filename/dump_filename/g will fix it.
-- Alexandre Oliva, freedom fighter he/him https://FSFLA.org/blogs/lxo/ Free Software Evangelist Stallman was right, but he's left :( GNU Toolchain Engineer Live long and free, and prosper ethically