Fix for compiling on linux using GCC