Change version number for release

We need a better way to handle this...