providers/virtualbox: higher priority than default