CEO Jim Whitehurst pilots Red Hat into future