This is a major patch, because header files are renamed, and
the header directory with them. Still, no functional change is there.