fix again for jenkins