Use libstc++ and avoid tr1 namespace