--- gringo/libgringo/gringo/bug.hh~ 2014-03-10 12:19:26.000000000 -0400 +++ gringo/libgringo/gringo/bug.hh 2016-11-12 07:51:55.288563663 -0500 @@ -32,7 +32,7 @@ #define _GLIBCXX_MAKE_MOVE_ITERATOR(_Iter) std::make_move_iterator(_Iter) #define _GLIBCXX_MAKE_MOVE_IF_NOEXCEPT_ITERATOR(_Iter) std::make_move_iterator(_Iter) -#ifdef MISSING_STD_TO_STRING +#if 0 #include