diff --git a/external/Phi b/external/Phi
index bb0409a1..5cf1bf14 160000
--- a/external/Phi
+++ b/external/Phi
@@ -1 +1 @@
-Subproject commit bb0409a1ab319757d8d491fa3f46da158249f398
+Subproject commit 5cf1bf14a8417ba5d7fbdb716af439e70020d778