Fix build error with GCC 4.8.1