fix compilation with C++11