diff --git a/bin/verilator b/bin/verilator
index 666e0e22c..f0a9af485 100755
--- a/bin/verilator
+++ b/bin/verilator
@@ -256,7 +256,7 @@ sub sh_escape {
     # This is similar to quotemeta() but less aggressive.
     # There's no need to escape hyphens, periods, or forward slashes
     # for the shell as these have no special meaning to the shell.
-    $arg =~ s/([^0-9a-zA-Z_\-\+\=\.\/])/\\$1/g;
+    $arg =~ s/([^0-9a-zA-Z_\-\+\=\.\/:])/\\$1/g;
     return $arg;
 }
 
diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS
index f886a459b..87d0c7cc4 100644
--- a/docs/CONTRIBUTORS
+++ b/docs/CONTRIBUTORS
@@ -249,3 +249,4 @@ Zhou Shen
 Zixi Li
 أحمد المحمودي
 404allen404
+Tobias Jensen