Got rid of BootBase.oz, by putting more bootstrap in Init.oz.