Update dining-philophers-solution.c