diff --git a/ext/drjit-core b/ext/drjit-core
index 559928bcf..13e9d663d 160000
--- a/ext/drjit-core
+++ b/ext/drjit-core
@@ -1 +1 @@
-Subproject commit 559928bcfa90cbb3ae6493df600a25fb06f6f6f6
+Subproject commit 13e9d663dc0eab81dec23357c07157ebf2c07f1f