DRYing up Vagrantfile: extracting hostname.