fixing up some vagrant bits