Symantec's Hagerman To Become CEO At Corel