Versions: Add 1.4.2/1.3.7 constants