min required gmp version is 4.3.2  and no longer 3.1.1

See track ticket 
http://www.singular.uni-kl.de:8002/trac/ticket/501