Corrected gmp dependency (now needs 5.x)