appease darcs