please use HTTPS URLs for submodules