Fix header name according to changes on server master.
Added a PropagateLocalRename job to do local renames.