Fix VagrantFile.