[Bug 7237] New: catia r5v16 doesn't install