undo changes

rebench/model/executor.py

@@ -1,3 +1,4 @@
+
 # Copyright (c) 2009-2014 Stefan Marr <http://www.stefan-marr.de/>
 #
 # Permission is hereby granted, free of charge, to any person obtaining a copy
@@ -60,7 +61,7 @@ def __init__(self, name, path, executable, args, build, description,
            the executor definitions
         """
         self.name = name
-        self.binary_missing = False
+
         self.path = path
         self.executable = executable
         self.args = args