Red Hat holt sich einen neuen Chef