increment version, so that people can use automatic updates