[ros-diffs] [dreimer] 44454: Finally merge the 64 bit and 32 bit options tool and remove the 64 bit one.