fix to specify the dump file