Change hostname in Vagrantfile