Actually use C++11