1 files changed, 1 insertions, 0 deletions

diff --git a/runcthon b/runcthon
index b01da3b..38bfc65 100755
--- a/runcthon
+++ b/runcthon
@@ -131,6 +131,7 @@ noudp=0
 dokrb5=0
 onlykrb5=0
 nov4=0
+dov41=0
 nov2=0
 onlyv3=0
 onlyv4=0