[ros-diffs] 07/16: [GDI32] Fix 64 bit issues