Fix for Jenkins build.