Fixing travis file.