Use https for github dependencies