Include synchronization/SaturatingSemaphore.h in the makefile