I wouldn't force it to be 2.4.1, I would say >=2.4.1 and generate the file (if we must keep that generated file in the repo) with 2.4.1.