Ja, "with" ist sicher besser, es garantiert implizit, dass die file auch wieder geschlossen wird.
Bei dem geschilderten Problem geht es ausschließlich um eine vom BS erstellte Datei. Insofern kann ich wenigstens auf die Stabilität der Ursprungskodierung einigermaßen vertrauen.
Jetzt ziehe ich doch um:
viewtopic.php?f=1&t=53489
