Failed! Deleted File install-dotty-agent