Red Hat CEO: we're the cloud leader -- with Linux