fix compilation error with old C++