Fix: switch to using https: for deps hosted on GitHub