Vagrant.configure("2") do |config|
# ... other config up here
config.vm.box = "dst/18"
+ config.vm.box_url = "http://dsg.tuwien.ac.at/teaching/courses/dst/vm/dst18.box"
config.vm.hostname = "dst18-vm"
config.vm.network :private_network, ip: "192.168.99.99"