fix for building with gcc/g++ 4.7.x