Add texlive-2013 settings