diff --git a/dps/opts b/dps/opts
index 74a2fb9..20d13c8 160000
--- a/dps/opts
+++ b/dps/opts
@@ -1 +1 @@
-Subproject commit 74a2fb9bd365e111ab137d62c194210f05814771
+Subproject commit 20d13c83a097db2ca8f34682439798eff788d49f