no longer 'pushd BootManager' due to wacky build environment