Minor fixup in libraries/integer-gmp2/integer-gmp2.buildinfo.in