Fix compile error with GCC 4.7.2