fix vagrant setup script