ERROR:cannot verify translationproject.org‘s certificate, issued by ‘CN=R3,0=Let\‘s Encrypt,C=US‘问题

这两天学习KLEE，在复现Tutorial Four，进入courtils文件夹后需要执行 ./bootstrap，但无奈一直出现这个问题：

ERROR:cannot verify translationproject.org's certificate, issued by 'CN=R3,0=Let\'s Encrypt,C=US'  Issued certificate has expired.
To connect to translationproject.org insecurely,use '--no-check-certificate'.

查到的解决办法都是sudo apt install ca-certificates，
安装了也没用，还是这个错，之后发现应该是执行 ./bootstrap的过程中会执行wget指令（刚开始接触，不太清楚原理哈，猜的）。
最后的解决方法是 sudo apt-get install libssl-dev。