adding Eisenstat's executable