lib/dunemodules.lib: Follow symlinks.

Kudos for this patch to Ansgar Burchardt <ansgar@mathi.uni-heidelberg.de>

[[Imported from SVN: r6325]]

lib/dunemodules.lib

@@ -167,7 +167,7 @@ find_modules_in_path() {
         while read m; do
           test -n "$m" && find_modules "$m"
         done <<EOFM
-        $(find "$dir" -name $CONTROL | $GREP -v 'dune-[-_a-zA-Z]/dune-[-a-zA-Z_]*-[0-9]\{1,\}.[0-9]\{1,\}/')
+        $(find -H "$dir" -name $CONTROL | $GREP -v 'dune-[-_a-zA-Z]/dune-[-a-zA-Z_]*-[0-9]\{1,\}.[0-9]\{1,\}/')
 EOFM
 	  else
         find_modules $dir