Fix installation of header files