Download patch through http instead of https (will fix jenkins build err...

...or ? )