From 877aadd68e0289140153619248f2c0e993bb565e Mon Sep 17 00:00:00 2001
From: Daniel Buckmaster <dan.buckmaster@gmail.com>
Date: Sat, 7 Feb 2015 13:20:10 +1100
Subject: [PATCH] 64-bit is more common and works fine.

---
 Tools/Vagrant/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Tools/Vagrant/Vagrantfile b/Tools/Vagrant/Vagrantfile
index af5f3ca2d..5614abbe1 100644
--- a/Tools/Vagrant/Vagrantfile
+++ b/Tools/Vagrant/Vagrantfile
@@ -5,7 +5,7 @@
 VAGRANTFILE_API_VERSION = '2'
 
 Vagrant.configure(VAGRANTFILE_API_VERSION) do |config|
-  config.vm.box = 'ubuntu/trusty32'
+  config.vm.box = 'ubuntu/trusty64'
 
   config.vm.provider 'virtualbox' do |vb|
     #vb.gui = true