Diagnostics to figure out travis-ci issues.