Make sure os mutex define is visible in mutex.c