Try to fix vagrant...