Update philosopher.h