Hopefully fix the broken Travis build (that we can't reproduce locally).