Trying to fix TravisCI errors by cloning via HTTPS instead of git://