cleaned up VagrantFile