Add diagnostic to try to figure out why Travis CI fails.