As I said above, I can't access my development machine ATM, and although I had tested this there, I didn't have time to make the PR so I just made it "by hand" on Github from my tablet using the little editing pencil. Just to try to be helpful.
I am not sure if there is any way of adding the `travis.yml` changes to the branch that this created without access to "proper" git.
Since it looks like it will be longer than expected before I get home I guess this can just get left here as a reminder, unless the changes are made as part of any other PR addressing #2896 then it and the branch can be deleted.