Index: benchmark/rmit.py
===================================================================
--- benchmark/rmit.py	(revision e49b6f5e7fc5e6264cb734f9692629463478f932)
+++ benchmark/rmit.py	(revision ca69a8af1fd8e4a4f5d7db9cacd2292fe31c3156)
@@ -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):