https://stackoverflow.com/questions/19192963/are-there-any-recent-gmp-windows-binary-distributions
http://7shi.hateblo.jp/entry/2012/05/07/034105
https://cs.nyu.edu/~exact/core/gmp/index.html