Add console-mutex around console output