revert to using github for cloning tools