Update version number; apply new patch from Sieve maintainer.