fix installation of header files