bug with the hacked version of download.py