fix vagrant file box location and name