Some firewall blocked git:// so we used https://  for git clone #277