Added <mintsystem/mutex.h>