Persist build-time GMP ver to `HsIntegerGmp.h`