BiasedLocking.cc: complete transition to C++11.