修改输出 dump 文件的扩展名