Nebenbei das Problem gelöst, dass im Setup mal brauchbare Debug-Symbole enthalten waren, und mal nicht. Die Dateien mussten von Hand in ein bestimmtes Verzeichnis gelegt werden, bevor das Setup erstellt wurde! Dabei gibt es im Setup extra einen Menüeintrag, um die Debug-Symbole eines Projekts einzubeziehen. Das wurde jetzt korrigiert, so dass es ab jetzt immer Stack-Traces mit Zeilennummern geben wird.