On 24 October 2012 15:10, Perry Smith wrote: > I thought I found a pilot error last night but it made no difference. I was calling "make" and not "make bootstrap". Just "make" is correct, and has been for many years now.