Back in the 80's wasn't there some issue with Microsoft having to pay AT&T royalties for Xenix and in order to get out of that agreement, they had to agree to stop doing anything related to Unix?