There were problems setting up VirtualBox.  To re-start the set-up process, run

/sbin/vboxconfig

apt-get install linux-headers-amd64 linux-headers-4.19.0-9-amd64

/sbin/vboxconfig