use tools/getversioninfo to extract the version number from the Python

sources