Remove unused mutexes
fprintf is internally-locked, no need to take a lock to print a single line