awk命令修改文件名