fix small bug and add CTAN to crontab