tools.gc-decode: fix (again) for 64-bit.