fix build on linux