Workaround for stlport being behind on C++11.