Fix name of headers to be installed.

Reviewed-by: Tullio Lucena