Lower some version numbers again, for pypi upload