Okay I am giving that one more shot as I type. I might have had bootmenu-installer installed when I ran the install-tools-ad the first time, although using Gparted it looked as if it had done a successful clone (it showed a tiny FAT partition, two largeish linux partitions both having been written to, and a medium-sized swap partition). Would bootmenu-installer prevent an update to the bootmenu from the install-tools-ad program?