redistribute 3rd party header files.