darcs patch: better error reporting for undefined flags (ticket #164)