Fix for compiling with GCC