[ros-diffs] [gvg] 15055: Fix filename case