diff --git a/.github/workflows/vm.yml b/.github/workflows/vm.yml
index f1f0800..62ea839 100644
--- a/.github/workflows/vm.yml
+++ b/.github/workflows/vm.yml
@@ -32,7 +32,8 @@ jobs:
 
       - name: Tests
         run: |
-          cmake -Bbuild -Htests/
+          # CMakeTestCXXCompiler.cmake fails with ledger-app-builder image
+          cmake -DCMAKE_CXX_COMPILER_FORCED=1 -Bbuild -Htests/
           make -C build/
           make -C build/ test
 
diff --git a/vm/src/page.h b/vm/src/page.h
index 0e70508..b0d50bd 100644
--- a/vm/src/page.h
+++ b/vm/src/page.h
@@ -2,6 +2,9 @@
 
 #include <stdint.h>
 
+// PAGE_SIZE can be defined by libc headers, for test targets
+#undef PAGE_SIZE
+
 #define PAGE_SIZE 256
 #define PAGE_MASK ~(PAGE_SIZE - 1)