Do not keep local copies with mergetool
Fix tex-only options