Fix cookie error on 32Bits computers