Added patchKnitrSynctex and whichClosest