Fix vagrant installation script