Also install the header files