Copy a header to this repository

Unfortunate duplication, but this lets the build progress in cabal sandboxes.