darcs patch: Eliminate some warnings