Vagrantfile for controller