initial xilinx ise xtclsh support