ubuntu18.04安装Pangolin、make遇到的问题