fix compile error on linux