Fix the build (was failing on CI server)