Support TeX engine selection with MiKTeX.