Use slime from github.