Index: benchmark/rmit.py
===================================================================
--- benchmark/rmit.py	(revision e49b6f5e7fc5e6264cb734f9692629463478f932)
+++ benchmark/rmit.py	(revision 37c6f77ebfefad5a39e5cf500acf63edf0a162ea)
@@ -138,5 +138,9 @@
 	# ================================================================================
 	# Identify the commands to run
-	commands = ["./" + options.command[0] + "-" + c for c in options.candidates]
+	command = './' + options.command[0]
+	if options.candidates:
+		commands = [command + "-" + c for c in options.candidates]
+	else:
+		commands = [command]
 	for c in commands:
 		if not os.path.isfile(c):