Actually fix build on CI