[jhc] darcs patch: add bange-patterns extension, add individual flags for...