possible fix for Jenkins