generator: invalid generation for modified --extensions argument