Correctly install top level header.