diff --git a/archimedes b/archimedes
index 64807cb3a..245941a32 160000
--- a/archimedes
+++ b/archimedes
@@ -1 +1 @@
-Subproject commit 64807cb3a6d7fe17969c7bae3c57d31014311ee6
+Subproject commit 245941a320ada85d9f3c6dd42d60008983d2d5b3