Removed compilation errors in mutex.c