Allow longer version names (#711, closes #712).
Authored by: jplang 2008-03-09
Parent: [r1219]
Child: [r1221]