[ros-diffs] [mf] 18285: strip extended options from the front of the command line