fixed minor compiling error on linux