fix compiling error on linux