fix build on CI