default vagrant file