Something weird is happening with paths on the CI ...