diff --git a/ppm b/ppm
index 12ae15dfd..25d418f4a 160000
--- a/ppm
+++ b/ppm
@@ -1 +1 @@
-Subproject commit 12ae15dfd226d38e10830f0c30b65059fe76ebff
+Subproject commit 25d418f4ae6db2504854c4fc0b2b22e8aef813f1