Use C++11 instead of boost