Attempt to fix build on jenkins.