Adding a really minor release version number to deal with the release plugin's problems