Partial recommended fix for VirtualBox headers issue.