[ros-diffs] [cwittich] 32641: build tools after deleting unversioned files