Mention reload bashrc so Gurobi will work