fuck it, switched to https for core submodule