He's trying to remove a philips head screw, not fix a messed up thread.

I reckon the wrong screw driver size was used, hence the head was messed up. Happens often with philips head screws. I'd use an easy-out and then replace with a proper hex-head bolt if it takes a standard metric thread.