qualify string with std
Authored by: Jean-Francois Dockes 2014-09-05
Parent(s): [2939bb]
Child(ren): [35e16f]
