small mods to bootstrap + jenkins