Version class now populates its pretty_abbrev field