Changed gmp back to 5.0.5 because ppl 1.0 doesn't work with newer.