More Travis-CI tinkering.