I unsuccessfully tried the following actions:
- Downgrading to 5.1.30 or 4.3.6 (each time installing the corresponding extension pack)
- Reinstalling VirtualBox and resetting all VirtualBox preferences (by removing the hidden ‘.VirtualBox’ directory in my user profile directory) didn't help either.
- Disabling firewall and antivirus