OK here is how I suggest to rewrite the
`byte-compile-fix-header' function.

Regards

Pierre