gcm128.c: fix linking problems in 32-bit Windows build.