diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index cd14bbee..78705a12 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -36,7 +36,7 @@ jobs:
       - name: Setup libraries
         run: |
           sudo apt update
-          sudo apt install libmbedtls-dev libtomcrypt-dev libtommath-dev libssl-dev libcrypto++-dev libgcrypt20-dev nettle-dev
+          sudo apt install libmbedtls-dev libtomcrypt-dev libtommath-dev libssl-dev libcrypto++-dev libgcrypt20-dev nettle-dev libbotan-2-dev
 
       - name: Build applets
         run: if [ $JAVA_VERSION != 21 ]; then ./gradlew applet:buildJavaCard; fi
@@ -44,6 +44,25 @@ jobs:
       - name: Build reader
         run: ./gradlew reader:uberJar
 
+      - name: Build libs
+        run: |
+          cd ext/boringssl
+          cmake -DBUILD_SHARED_LIBS=1 -Bbuild
+          cd build
+          make crypto
+          cd ../../..
+          cd ext/libressl
+          ./autogen.sh
+          cmake -DBUILD_SHARED_LIBS=ON -Bbuild
+          cd build
+          make crypto
+          cd ../../..
+          cd ext/ipp-crypto
+          CC=clang CXX=clang++ cmake CMakeLists.txt -Bbuild -DARCH=intel64
+          cd build
+          make
+          cd ../../..
+
       - name: Build standalone
         run: |
           ./gradlew standalone:libs || true
diff --git a/README.md b/README.md
index 96354a9c..8c1da32c 100644
--- a/README.md
+++ b/README.md
@@ -360,9 +360,8 @@ BoringSSL, LibreSSL and ipp-crypto are included as git submodules. Make sure you
 after checking out the ECTester repository to initialize them. To build BoringSSL do:
 ```
 cd ext/boringssl
-mkdir build
+cmake -GNinja -Bbuild -DBUILD_SHARED_LIBS=1
 cd build
-cmake -GNinja -DBUILD_SHARED_LIBS=1 ..
 ninja
 ```
 
@@ -370,9 +369,8 @@ To build LibreSSL do:
 ```
 cd ext/libressl
 ./autogen.sh
-mkdir build
+cmake -GNinja -Bbuild -DBUILD_SHARED_LIBS=1
 cd build
-cmake -GNinja -DBUILD_SHARED_LIBS=1 ..
 ninja
 ```