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