Update version after tenphi PR