64-bit: more workarounds