fix problems with downloading patches from the webserver