fix vagrant configs