ctanify now used to create CTAN upload