use Vagrant 1.5 box names