Update philosophers example.