Use http instead of https for patches in dgu.make