Eventually fixed travis file.