Vagrantfile: rename ubuntu machines