std::atomic_flag(3cxx) on Linux

The text dd3ea1beb443, as Debian 7 (Wheezy) shipped it.

std::atomic_flag(3cxx) on Linux now