2016.2安装 – 在使用settings64.sh运行Vivado之后，awk可执行文件失败并显示错误（符号查找错误：awk：undefined symbol：mpfr_z_sub）。