I think I fixed the project so that we can build on CI