fix for cmi_env.sh sourcing of setup.sh on linux