diff --git a/Configuration.mk b/Configuration.mk
index 380251fa0..abdadf358 100644
--- a/Configuration.mk
+++ b/Configuration.mk
@@ -29,7 +29,7 @@ SIZE := -size
 
 # Library versions.
 NEWLIB_VERSION ?= 4.2.0.20211231
-LIBCPP_VERSION ?= 12.2.0
+LIBCPP_VERSION ?= 11.2.0
 
 # Set default region sizes for process memory requirements.
 STACK_SIZE       ?= 2048
diff --git a/libc++/Makefile b/libc++/Makefile
index e24c4cef5..78abf77b8 100644
--- a/libc++/Makefile
+++ b/libc++/Makefile
@@ -1,4 +1,4 @@
-GCC_VERSION ?= 12.2.0
+GCC_VERSION ?= 11.2.0
 NEWLIB_VERSION ?= 4.2.0.20211231
 
 all: rebuild-gcc
diff --git a/libc++/README.md b/libc++/README.md
index 6f4f5b449..afc9cfa28 100644
--- a/libc++/README.md
+++ b/libc++/README.md
@@ -25,7 +25,7 @@ To help ensure reproducibility, we also include a Dockerfile which can be used
 to create the libc++ libraries.
 
 ```bash
-LIBCPP=12.2.0
+LIBCPP=11.2.0
 cd libtock-c/libc++
 docker build -t libtock-c-libcpp .
 id=$(docker create libtock-c-libcpp)