Fix configuration problem with gmp=build