update VagrantFile to 64bits and fix hostname