Add a recipe for GMP 4