diff --git a/.github/workflows/compile.yml b/.github/workflows/compile.yml
index d03c43cf..edb5df6f 100644
--- a/.github/workflows/compile.yml
+++ b/.github/workflows/compile.yml
@@ -112,7 +112,7 @@ jobs:
             - name: Build WARDuino for ESP-IDF
               uses: espressif/esp-idf-ci-action@v1
               with:
-                  esp_idf_version: latest
+                  esp_idf_version: v5.0.2
                   target: esp32
                   command: idf.py build -DBUILD_ESP=ON
                   path: .
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 5a599608..b1a8b4d1 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -26,7 +26,7 @@ if (BUILD_ESP)
     include($ENV{IDF_PATH}/tools/cmake/project.cmake "${PROJECT_BINARY_DIR}/../include")
 endif (BUILD_ESP)
 
-project(WARDuino VERSION 0.3.0)
+project(WARDuino VERSION 0.3.1)
 
 set(WARDUINO_VERSION_STRING "${PROJECT_VERSION}")
 configure_file(src/config.h.in include/warduino/config.h)
diff --git a/library.properties b/library.properties
index eb567d42..5bd05723 100644
--- a/library.properties
+++ b/library.properties
@@ -1,5 +1,5 @@
 name=WARDuino
-version=0.3.0
+version=0.3.1
 author=Robbert Gurdeep Singh <Robbert.GurdeepSingh@UGent.be>, Christophe Scholliers <Christophe.Scholliers@UGent.be>, Tom Lauwaerts <Tom.Lauwaerts@UGent.be>, Carlos Rojas Castillo <crojcas@vub.be>, Joel Martin <github@martintribe.org>
 maintainer=Robbert Gurdeep Singh <Robbert.GurdeepSingh@UGent.be>, Christophe Scholliers <Christophe.Scholliers@UGent.be>, Tom Lauwaerts <Tom.Lauwaerts@UGent.be>
 sentence=A library that enables the use of WebAssembly on Arduino boards with debugging support
diff --git a/src/Edward/proxy_supervisor.cpp b/src/Edward/proxy_supervisor.cpp
index 5adf19d2..40fd3b90 100644
--- a/src/Edward/proxy_supervisor.cpp
+++ b/src/Edward/proxy_supervisor.cpp
@@ -274,12 +274,10 @@ bool ProxySupervisor::call(RFC *callee) {
     }
     // Fetch new callback mapping
     // convert message to hex TODO: move to proxyserver
-    //    char cmdBuffer[10] = "";
-    //    int cmdBufferLen = 0;
-    //    sprintf(cmdBuffer, "%x\n%n", interruptDUMPCallbackmapping,
-    //    &cmdBufferLen);
-    //    WARDuino::instance()->debugger->supervisor->send(cmdBuffer,
-    //    cmdBufferLen);
+    char cmdBuffer[10] = "";
+    int cmdBufferLen = 0;
+    sprintf(cmdBuffer, "%x\n%n", interruptDUMPCallbackmapping, &cmdBufferLen);
+    WARDuino::instance()->debugger->supervisor->send(cmdBuffer, cmdBufferLen);
     this->deserializeRFCResult(callee);
     return true;
 }