Yet another travis file update