Don't delete the hand-written header, fixes bug #709389

Thanks to Jürg for pointing the root cause