fix for GCC 4.5.x