basename for vagrant box