Investigate failing Travis build.

Not meant to be merged as is (this commit so far is just to get debug info), unless this leads to a fix.