modify Vagrantfile for Ubuntu 12.10