shorten python version name