Fix compiling under Linux