(Xronos) Tcl printer fixes for launching vivado from command line