git grep: be careful to use mutexes only when they are initialized