try to fix build on CI