[ros-diffs] [gedmurphy] 28144: don't rename the executable for make install. This should keep w3seek happy for a while :)