File debuginfo-mono.patch of Package rpm

--- ./scripts/find-debuginfo.sh.orig	2017-01-19 13:03:40.090496764 +0000
+++ ./scripts/find-debuginfo.sh	2017-01-19 13:03:55.515451969 +0000
@@ -315,6 +315,17 @@ while read nlinks inum f; do
       ;;
     *) continue ;;
   esac
+  # double check that we really have an ELF file,
+  # to handle monodevelop-debugger-gdb and monodevelop-debugger-mdb
+  ftype=`/usr/bin/file $f | cut -d: -f2-`
+  case $ftype in
+    *ELF*) ;;
+    *)
+	echo "$f is not an ELF file, skipping"
+	continue
+	;;
+  esac
+
   get_debugfn "$f"
   [ -f "${debugfn}" ] && continue