Update MentOs code to the latest development version.

scripts/get_text_address.sh

@@ -0,0 +1,6 @@
+#!/bin/bash
+for obj_file in "$@"
+do
+  ADDR=$(readelf -WS $obj_file | grep .text | awk '{ print "0x"$5 }')
+  echo "add-symbol-file $obj_file ${ADDR}"
+done

scripts/replace_links.sh

@@ -0,0 +1,3 @@
+#!/bin/bash
+find -type l -exec git update-index --assume-unchanged {} \;
+find -type l -exec bash -c 'ln -f "$(readlink -m "$0")" "$0"' {} \;