Further modifications to Travis CI build to prefer IPv4.