Fix default settings so Windows defaults to miktex