For now, build with a libtclkit