Pull the output repo, since `make clone` doesn’t.