Patch permissions + CI

.gitlab-ci.yml

@@ -34,6 +34,8 @@ build:
     <<: *global_tag_def
     stage: build
     script:
+        - git submodule init
+        - git submodule update
         - rm -rf build workspace
         - mkdir build
         - cd build