Fix installation of headers