epm-epm_install: install epm-play if needed

bin/epm-epm_install

@@ -94,8 +94,10 @@ __epm_korinf_install_eepm()
     fi
 
     pkg_list="eepm"
-    # don't lose eepm-repack if installed
-    is_installed eepm-repack && pkg_list="$pkg_list eepm-repack"
+    # don't lose eepm-* if installed
+    for i in repack play ; do
+       is_installed eepm-$i && pkg_list="$pkg_list eepm-$i"
+    done
 
     # enable scripts to resolve dependencies with apt
     scripts='--scripts' __epm_korinf_install $pkg_list