I've got no problem doing that but the reason I did it for ```mpfr``` was that the version is used in two places while ```gmp``` is only used once.