Non-generated build files fully retired

rename.py

@@ -0,0 +1,6 @@
+#! py -3
+from pathlib import Path
+
+for old in Path('.').glob("**/oldbuild (1).xml"):
+    print(old)
+    old.rename(old.parent / "oldbuild.xml")