fix for Jenkins CI error