Specific configuration for VirtualBox use