Didn't realize Vagrant had a 64-bit image available