[ros-diffs] [dgorbachev] 57243: Remove "bashisms" from configure.sh script, simplify it a bit.