Use Ubuntu 64-bit for Vagrant