fix compilation error in Dining Philosophers