We should bundle the GMP extension into the built binary because we'll need it for working with unsigned 64-bit integers.