try to make the CI happy again