Hi Vagrant,

thanks!  Applied to guix master.

(*mumble* What's the deal with the gmp warning in the tests?)