If you change sem_enum.h be sure to run
make -f Makesemnames

