Manually copy some skipped header files