Fix buildbot: work around missing GCC C++11 feature.