Not that important, but maybe we should remove the dump file when done?