increased version number (we do this now right after each release)