tweaks to build.boot, nothing serious