install other header files

hotfix related to #873