diff --git a/EspruinoTools b/EspruinoTools
index a155e585..31bd1c00 160000
--- a/EspruinoTools
+++ b/EspruinoTools
@@ -1 +1 @@
-Subproject commit a155e58595e2ca1cadf6f194291020bfdac69ba6
+Subproject commit 31bd1c00fb1f6a7d896837e0958a1bd2781c9eab