renamed executable according to discussion with Jonathan