make sure header files get installed