Fix for jenkins