CTAN zip file with top level directory