CI: make adjustments so CI uses Cython