Fix Travis; attempt 2