diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
index <HASH>..<HASH> 100644
--- a/benchexec/tools/ultimate.py
+++ b/benchexec/tools/ultimate.py
@@ -131,7 +131,7 @@ class UltimateTool(benchexec.tools.template.BaseTool):
             launcher_jar = os.path.join(ultimatedir, jar)
             if os.path.isfile(launcher_jar):
                 return launcher_jar
-        raise FileNotFoundError('No suitable launcher jar found')
+        raise FileNotFoundError('No suitable launcher jar found in {0}'.format(ultimatedir))
 
     @functools.lru_cache()
     def version(self, executable):
more verbosity for launcher jar error