darcs patch: Fix mismatch between arch and os variables in D.S.Inst...