Correcting installation of header files