Counting the cost of the last HP CEO