diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8a16aae80..46f15eb8b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -108,7 +108,7 @@ pages:
   script:
     - pushd build_pages
     - cmake .. && make doxygen
-    - popd && mv build/docs/html/* public/
+    - popd && mv build_pages/docs/html/* public/
   artifacts:
     paths:
       - public
diff --git a/util/ci.Dockerfile b/util/ci.Dockerfile
index a91583eb9..e795879a5 100644
--- a/util/ci.Dockerfile
+++ b/util/ci.Dockerfile
@@ -2,8 +2,7 @@ FROM debian
 
 RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
     && apt-get install -y \
-        cmake-curses-gui \
-        clangd \
+        cmake \
         git \
         libeigen3-dev \
         libopenmpi-dev \