In order to use synctex, you need to load the module for texlive
2012. Our workstation build uses TL2007 by default.
In order to utilize it, type the following on a command line (or
your login script):
module load texlive
If you type module list, you...