Hopefully fixed the CI