emergency bugfix: Fix build on draft C++11 compilers.