Problems with GitHub certificate when using wget