Changed version number, for compatibility with pypy