Virtualbox, dkms, linux-header and virtualbox-dkms installed, but said to be missing?

I am trying to install virtualbox on a BunsenLabs (Debian) system. I validated that I have everything installed: $ sudo apt-get install linux-headers-$(uname -r|sed 's,[^-]*-[^-]*-,,') virtualbox dkms virtualbox-dkms Reading package lists... Done Building dependency tree Reading state information... Done dkms is already the newest version. linux-headers-amd64 is already the newest version. virtualbox is already the newest version. virtualbox-dkms is already the newest version. 0 upgraded, 0 newly installed, 0 to remove and 1 not upgraded. (To be upgraded package is openjre-8-headless). However, when I start virtualbox: $ virtualbox WARNING: The character device /dev/vboxdrv does not exist. Please install the virtualbox-dkms package and the appropriate headers, most likely linux-headers-amd64. You will not be able to start VMs until this problem is fixed. Reinstalling everything, reconfigureing everything either. Trying to force the creation of the device fails too: $ sudo modprobe vboxdrv modprobe: FATAL: Module vboxdrv not found. Should I just create the device manually? What other options do I have?