Fix vagrant configs