k3-tools: Missing tycho files