Re: bootstrapping asdf