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