hard-coding the vagrant box version