-lgmpができないならlibgmp-devをインストールすればいい