Vagrantfile, use 12.04.