fix for jenkins