The statement `#include <pthread.h>` must be appended to the files `generator.c` and `state.h` in order to compile on Mac OS X.
The statement
#include <pthread.h>must be appended to the filesgenerator.candstate.hin order to compile on Mac OS X.