diff --git a/modules b/modules
index 674700a7..8a01cf42 160000
--- a/modules
+++ b/modules
@@ -1 +1 @@
-Subproject commit 674700a73d7a254c5a4797ba9d26d7d2608883cb
+Subproject commit 8a01cf42f40d0b311a74c4993f36d1aea2623e20