fix compilation error on linux