for Jenkins CI