Actually use the new TE machine configs