fix vagrant server bootstrap