Erneutes Kopieren und Reboot hat das Problem behoben -- komisch, denn das ist nicht der erste Reboot seit ich die Datei wieder hergestellt hatte.

Naja, egal; Hauptsache, es läuft jetzt wieder. Danke euch für die Unterstützung.