Add [1.3.3] and [1.2.5] version constants.