Fix (again) for Jenkins

see http://j.mp/ZNdyNm