Re: gmp 5 is stable