fix vagrant file and proxy