[bugfix,dunecontrol] Fixes check whether to path --with-<dune-module> to configure

The check was whether $module_inst is yes, but what we actually want to check
is $INT_$module. This patch fixes this and forces configure to use pkg-config
for the installed module again. Only this allows us to extract custom libdirs.

bin/dunecontrol

@@ -633,7 +633,7 @@ run_default_configure () {
       if test -d "$path/$BUILDDIR"; then
         PARAMS="$PARAMS \"--with-$name=$path/$BUILDDIR\""
       else
-        if test x$module_inst != xyes; then
+        if test x$(eval echo \$INST_$mod) != xyes; then
           PARAMS="$PARAMS \"--with-$name=$path\""
         fi
       fi