added synctex for evince and skim