Convering pkg upgrade to new solver