add missing copy of new header files in release tree