Use local ctanify if already downloaded