Further Travis-CI troubleshooting