Fix ITG3200 on 32 bit platforms