Fix state compression for 64-bit hosts