Update mutex_w32.c