So. Habs mal ausprobiert, funktioniert aber leider nicht.
Manuell klappt das alles, aber mit PHP eben nicht.
Eine einfache Lösung ist mir noch gekommen:
Abfrage der relevanten Daten über einen HTTP-Request und den benötigten Code in den Exe-Dateinamen schmuggeln. Ist zwar nicht unbedingt die eleganteste Lösung, weil wer lädt sich schon gern Dateien runter die 45anvasdria5.exe heißen, aber sie müsste funktionieren...