diff --git a/verify.sh b/verify.sh
index 2bfe936..c141b04 100755
--- a/verify.sh
+++ b/verify.sh
@@ -11,12 +11,12 @@ isCi=$CI
 mkdir -p "$scriptDir/.gobra"
 
 gobraJar="/gobra/gobra.jar"
-additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificationLibrary --include .verification --gobraDirectory '$scriptDir/.gobra' --parallelizeBranches"
+additionalGobraArgs="--module github.com/viperproject/ReusableProtocolVerificationLibrary --parallelizeBranches"
 
 if [ $isCi ]; then
     echo -e "\033[0Ksection_start:`date +%s`:verify[collapsed=true]\r\033[0KVerifying packages"
 fi
-java -Xss128m -jar "$gobraJar" --recursive -I "$scriptDir" $additionalGobraArgs
+java -Xss128m -jar "$gobraJar" --recursive -I "$scriptDir" -I ".verification" --gobraDirectory "$scriptDir/.gobra" $additionalGobraArgs
 exitCode=$?
 if [ $isCi ]; then
     echo -e "\033[0Ksection_end:`date +%s`:verify\r\033[0K"