fix a compiling error on linux