darcs patch: Change LICENSE from BSD4 to BSD3