python3: version bump