update config for auctex + synctex + skim