Cabal now correctly produces, builds, and cleans the generated headers.