MutexHolder does the flushing. Working with clang++ but not with g++ :(