fixed compilation problem on gcc 4.7