/Master/texmf-dist/scripts/tlaunch/
../
tlaunchmode.pl