attempt to fix the CI build