Bill Gates and Linus Torvalds meet for the first time