Revert "Trying to fix the CI build"

This reverts commit a408ea3f4ab9b40c34d4efa81dea3d127dd67854.