We should consistently use VirtualBox everywhere.