fix build error on linux