Fix for Jenkins