https://www.virtualbox.org/ticket/20289
The solution is to upgrade to Virtualbox 6.1.
If you’re feeling adventurous you could try using the patch shown here. That wouldn’t be my recommended solution though.
2 Likes