More fiddling with default travis build.