Hostname in  vagrantfile