Travis-CI fixes