@adamv, IMO this is wrong: i would have to take care that there be no name conflict with "bootstrap".  (Incidentally, there will be "Bootstrap.1", "Bootstrap.2", and "Bootstrap.3", in `buildpath`.)  Actually, first i tried what you are suggesting.