[ros-diffs] [royce] 13020: kill the output exe files in a clean, too