diff --git a/hermit/usr/pte b/hermit/usr/pte
index 78e35d6de..1cc811b60 160000
--- a/hermit/usr/pte
+++ b/hermit/usr/pte
@@ -1 +1 @@
-Subproject commit 78e35d6ded9bd509a5a9febd2d54daf57b4b06a1
+Subproject commit 1cc811b60d8cb7362cffda973b95e450b24341f5