r14531: Install two extra header files