added Armin's executable