Update openrave_setup.bash