libvb/cpx.h: Put the gmp stuff there