add dotty as dep