Update ModelSim_launcher.tcl