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