On 2020-07-21 17:14, Patrick Dupre wrote:
Thanks to all,
It now works.
It seems that I had to reboot the entire machine.
Odd....
But anyway, VirtualBox 5.0.40 is rather old. From 2017, and no longer supported.
--
The key to getting good answers is to ask good questions.