[ros-diffs] [mf] 12752: update Explorer Jamfile