Update travis file to see if it makes happy