Fix Jenkins build (this time for sure!)