Switched Lotaris deps to GitHub repo.