Actually include depsolver in the release