More Travis-CI fixes