Automatically use libmpfr.so workaround on Ubuntu

setup.sh

@@ -19,3 +19,12 @@ fi
 echo "TAPASCO_HOME=$TAPASCO_HOME"
 export PATH=$TAPASCO_HOME/bin:$PATH
 export MANPATH=$MANPATH:$TAPASCO_HOME/man
+if uname -a | grep -i ubuntu > /dev/null 2>&1; then
+	if find /usr/lib -name libmpfr.so > /dev/null 2>&1; then
+		export LD_PRELOAD=`find /usr/lib -name libmpfr.so 2>/dev/null`
+	else
+		echo "WARNING: awk in Ubuntu Linux is incompatible with Vivado's old libmpfr.so" >&2
+		echo "This can be fixed by pre-loading a new libmpfr.so, but none was found in /usr/lib." >&2
+		echo "If you run into problems (awk: symbols not found), please install libmpfr."
+	fi
+fi