64-bit workaround