b053ad40a5
to incorporate the OS name and version. XXX should also not hardcode ${BOOTDISK} in the name, but that would require reordering stuff and more testing than I have time for right now. Another day. As discussed on current-users@ back in March, with some adjustments.