name solver mmdebstrap-dump-solution in official apt path

coverage.sh

@@ -88,6 +88,13 @@ if [ ! -e shared/tarfilter ] || [ tarfilter -nt shared/tarfilter ]; then
 		cp -a /usr/bin/mmtarfilter shared/tarfilter
 	fi
 fi
+if [ ! -e shared/proxysolver ] || [ proxysolver -nt shared/proxysolver ]; then
+	if [ -e ./proxysolver ]; then
+		cp -a proxysolver shared
+	else
+		cp -a /usr/lib/apt/solvers/mmdebstrap-dump-solution shared/proxysolver
+	fi
+fi
 mkdir -p shared/hooks
 if [ ! -e shared/hooks/setup00-merged-usr.sh ] || [ hooks/setup00-merged-usr.sh -nt shared/hooks/setup00-merged-usr.sh ]; then
 	if [ -e hooks/setup00-merged-usr.sh ]; then

mmdebstrap

@@ -792,18 +792,18 @@ sub run_apt_progress {
         );
     }
     my $get_exec = sub {
-        my @prefix     = ();
+        my @prefix = ();
-        my @opts       = ();
+        my @opts   = ();
-        my $solverpath = "/usr/lib/mmdebstrap/solvers";
-        if (-e "./proxysolver") {
-            # for development purposes, use the current directory if it
-            # contains a file called proxysolver
-            $solverpath = getcwd();
-        }
         if (exists $options->{EDSP_RES}) {
             push @prefix, 'env', "APT_EDSP_DUMP_FILENAME=$tmpedsp";
-            push @opts, "-oDir::Bin::solvers=$solverpath",
+            if (-e "./proxysolver") {
-              '--solver=proxysolver';
+                # for development purposes, use the current directory if it
+                # contains a file called proxysolver
+                push @opts, ("-oDir::Bin::solvers=" . getcwd()),
+                  '--solver=proxysolver';
+            } else {
+                push @opts, '--solver=mmdebstrap-dump-solution';
+            }
         }
         return (
             @prefix,