Fix broken build on jenkins.