[pypy3] calculate abi version