diff --git a/ext/drjit-core b/ext/drjit-core
index 51d54c0e8..8c190ea80 160000
--- a/ext/drjit-core
+++ b/ext/drjit-core
@@ -1 +1 @@
-Subproject commit 51d54c0e8c954a1acc08cd44e05257d080a56969
+Subproject commit 8c190ea806d117b8fb76fa216e3caa4d9fa1ec6b