Fix for build in Jenkins CI.