diff --git a/external/Phi b/external/Phi
index 8038d008..bab12921 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 8038d0082fe4cdef612f20d38595565e227da788
+Subproject commit bab12921d8962b3f7719259d78909827a2f9c8fd