Fix for compiling with GCC 4.8