Yet yet another change to travis file.