Fix vagrant installation