Quick fix for jenkins