Fix compiling issue under Linux