change gemspec to include new solver binary