Vagrantfile and Dockerfile