workaround for github certificate error on wget < 1.3