Renames new-header to public-header