Update and rename do.tcl to ModelSim_launcher.tcl