Add new header files to the deb package