darcs patch: add extra-includes field to buildinfo