fixed compilation error on linux