Change boost to std::tr1