Fixed the installation of header files