Red Hat appointed Paul Cormier as President and CEO