some file header adaption (e.g. #859)