[ros-diffs] [chorns] 14510: Rebuild source if a header is changed