fix travis config.