fix installation of headers