Fix Travis build

Investigate and fix Travis build.