- allow compilation with older g++ compilers