sanitize dump file names (closes #3293)