fix build on Linux