added patchKnitrSynctex.R