Patch version number in some bootstrap tests to allow tests to pass with non-dev version number