Taking arguments into account, this solution may work:- Continue to distribute a Setup.dist- Add a configure option to change it, as Victor said --setup-file should do it, the default value should be Setup.dist- Remove the `cp Setup.dist Setup`This solution fixes theissue32429 as there is no longer a copy, it does not starts to track the Setup file so it should nor introduce any issue while switching to and from branches with this modification, and allow one to have multiple named configurations.