fix travis file.