Index: tools/toolchain.sh
===================================================================
--- tools/toolchain.sh	(revision 367db39a7fcc8a813e334b243d23692d5b6c6d76)
+++ tools/toolchain.sh	(revision 223efc0798b56e50efc8736f8dc200fe2bc040cd)
@@ -63,9 +63,9 @@
 ## GCC_PATCHES="toolchain-gcc-4.8.1-targets.patch toolchain-gcc-4.8.1-headers.patch"
 GDB_VERSION="7.12.1"
-## GDB_PATCHES="toolchain-gdb-7.6.1.patch"
+GDB_PATCHES="toolchain-gdb-7.12.1.patch"
 ISL_VERSION="0.18"
 
 BASEDIR="`pwd`"
-SRCDIR="$(readlink -f $(dirname "$0"))"
+SRCDIR="$(cd "$(dirname "$0")" && pwd -P)"
 BINUTILS="binutils-${BINUTILS_VERSION}${BINUTILS_RELEASE}.tar.bz2"
 GCC="gcc-${GCC_VERSION}.tar.bz2"