Use 64-bit arch base for Vagrant