Fix version numbering when TEENY = 9