[ros-diffs] [jgardou] 47790: [RBUILD] - add missing file from a previous merge, which caused general failure of building the branch