vagrant file and example