One additional, possibly important piece of information. In view of comments in some VirtualBox forum posts, I realized that I needed to update the guest additions .iso from 5.0.18 to 5.0.22, but I did that after I received the error message. Perhaps that caused the error - but I can’t think of why the mismatch in the guest additions would have caused this.