fixing travis file.