Fix bad inlining in mutex.h