Wasn't CATIA running on unix even before it ran on Windows?