one more fix for c++0x