changing vagrant box to be 64bit instead of 32bit