Another fix for jenkins