Fixes build for Jenkins.