Attempt to fix CI