Lightweight Vagrantfile