Quick and dirty prettification of iOS version name