Trying to fix the CI build