Vagrantfile to default