Added comma to commented-out texlive/win setting (paranoia)