The future of IBM and Red Hat