Red-Hat-Zahlen enttäuschen, Aktie verliert