Long-time rivals Bill Gates and Linus Torvalds meet