Fix build with GCC 4.8