AliInst: skip leading zeroes when parsing version