fix compilation error with newer g++ compilers