pdflatexsol and pdflatextips all point to pdflatexex_mod.py, which can make the difference with argv[0]