Experimental only: Reverting to a previous state where Travis was green, at commit 047a25fd.
When I reran build on the existing Travis page for commit 047a25fd, the build succeeded again: https://travis-ci.com/github/DynamoRIO/dynamorio/jobs/354686738. I want to check if it still succeeds on a new PR. This may help in figuring out what configuration is different then vs now.