Installer detected an older version of Virtual box than was required, so I uninstalled that (by deleting the application) and went back to the installer, which did a new scan and offered the latest available version, but left the checkbox unselectable - there was no way to get it to install any version of VirtualBox, and no error message given.