Add an option to specify the dump filename