istream.ws: new version number