refinement: vagrant file.