diff --git a/external/Phi b/external/Phi
index 5dadedee..03cff4ee 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit 5dadedee31ea93fbaf5974853ead5d567dbb6e71
+Subproject commit 03cff4ee49178626fe5f84fa35420f6913b77914