use travis-tool install_github to avoid 'no lib set' error