Fix tcl-tk dependency for xcircuit formula