diff --git a/modules/Options b/modules/Options
index 53e879f400..ae7cd3506e 160000
--- a/modules/Options
+++ b/modules/Options
@@ -1 +1 @@
-Subproject commit 53e879f400d93e88f209cc8ad1e4fac36e55f63f
+Subproject commit ae7cd3506ea6140e7b301d8544e6e97968316e47