Require GMP version 5.0.5