diff --git a/external/pluto b/external/pluto
index 9ca531b8..b3f330b1 160000
--- a/external/pluto
+++ b/external/pluto
@@ -1 +1 @@
-Subproject commit 9ca531b8568a2c1a945568a0c46354da7a7371c5
+Subproject commit b3f330b15bf5f199b5114b11c93dec818feade04