Add VirtualBox formula