# Using fetchFromGitHub from their mirror because we cannot use git during bootstrap
fetchFromGitHub
fetchurl