fix vagrant box name