Well, somehow, my problem has fixed itself. I used the updater to get the latest version, tried several times to update the virus database (got stuck at the usual 30%), rebooted several times and repeated several times, and I now appear to have a functioning CIS.
