Travis: hopefully fix elementtree pip install problem.