Fix using tr1:: with c++11