Clean up old cruft and improve robustness
Drop all the Jenkins remnants, and try harder to avoid obsoleted cached stuff when running in the CI, to avoid failures like this one.
Drop all the Jenkins remnants, and try harder to avoid obsoleted cached stuff when running in the CI, to avoid failures like this one.