+# Removing /tools from PATH:
+SED_REP='/sbin:/usr/sbin:/bin:/usr/bin:/usr/local/bin'
+sed -i -e "s!^\(PATH=\).*tools.*!\1${SED_REP}!" /etc/profile
+
+# Removing /tools directory
+if [ -d /tools ]; then
+ DEST=/usr/src/tools
+ if [ -d ${DEST} ]; then
+ # Remove old backup
+ rm -rf ${DEST}
+ fi
+ mv /tools ${DEST}
+fi
+
+ldconfig
+