[SERO] 解决 `error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: N...

Ubuntu上运行gero时，可能会遇到如下错误（尤其是新机器首次运行）。

bin/gero: error while loading shared libraries: libgmpxx.so.4: cannot open shared object file: No such file or directory

出错的原因是libczero依赖了libgmp，但机器上并没有安装。
使用如下命令安装可以解决。

sudo apt install libgmpxx4ldbl

18.04亲测有效。