diff --git a/hermit/newlib/pte b/hermit/newlib/pte
index a4ea10a70..ecfea8b26 160000
--- a/hermit/newlib/pte
+++ b/hermit/newlib/pte
@@ -1 +1 @@
-Subproject commit a4ea10a709d75839c0ae34b0fef2bed51a97c5fc
+Subproject commit ecfea8b26f4285ae69311d7753f7b9ddfd736ee4