produce an executable