make <generator>'s version attribute optional