modify slime repo
merge master