Update dining-philosophers.c