vra: fix a build failure with gcc-4.9.x and old libgmp