Fix Travis; attempt 3