Default Vagrant file for Ubuntu 12.04