Add some diagnostics to the Travis config to find the problem.