Add some existing header files just so they are easy to share.