implement external solver calling for upgrade and dist-upgrade, too