tcl: replace '-ctibase' with '-baseaddr'