[Bug 7237] catia r5v16 doesn't install: "copy *.exe" fails.