diff --git a/src/fiat/verus b/src/fiat/verus
index e0e37ab96..0bcc79fd2 100644
--- a/src/fiat/verus
+++ b/src/fiat/verus
@@ -1,2 +1,7 @@
 #!/bin/bash
-./komodo-cli -ac_name=VERUSTEST "$@"
+
+#set working directory to the location of this script
+DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
+cd $DIR
+
+../komodo-cli -ac_name=VERUSTEST "$@"