fix build for Linux