#9: Renamed travis file