[ros-diffs] [royce] 19608: much better check for gnu make 3.80+