Fix header manipulation in .sanitize.mapping.file