Fix t3k download, which was broken due to eclass changes