quote python version as string