所以要装smth需要下载gmp的bin版
可是cygwin的setup里，似乎有gmp包啊...
--