Improved Jenkins build.