Add missing built header files