diff --git a/extras b/extras
index 82fb73edc..f3fb1f24e 160000
--- a/extras
+++ b/extras
@@ -1 +1 @@
-Subproject commit 82fb73edc3850e3601f085d84f7bba03fe6d7076
+Subproject commit f3fb1f24eaffce571d3fe5555adf41232aad3f67