One thing I had already tried earlier wassudo apt-get install virtualbox-guest-dkms virtualbox-guest-utils virtualbox-guest-x11This is not enough in itself, but might be a necessary prerequisite for the following steps (of which some might not be necessary...).