今日Ubuntuをクリーンインストールした後, GHCをインストールした後, ghciを起動しようとすると, こんなエラーが出た. Loading package integer-gmp ... <command line>: can't load .so/.DLL for: gmp (libgmp.so: cannot open shared object file: No such file or direc</command>…