Gitlab has been updated. More info here and there.
Following modifications of `CMakeLists.txt` files.
