tools.gc-decode: fix for 32-bit.
tools.gc-decode: fix for 64-bit.