Attempt to fix the CI build