Fix gmp package name