Microsoft's new tune: We love Linux