Did away with tcl/system.tcl, now that there is initial support for platgen in my FuseSOC fork!