changed download URLs (files are now on github)