update fetch_rtems_source.sh