move lib/plexi to 4.0.2
diff --git a/lib/plexi b/lib/plexi
index ed5beb0..ef7a357 160000
--- a/lib/plexi
+++ b/lib/plexi
@@ -1 +1 @@
-Subproject commit ed5beb08bde3567428bdb428c4827d6156f09715
+Subproject commit ef7a357a5c3171f0a9e4fac117e6446b4820cf2a