Index: INSTALL
===================================================================
--- INSTALL	(revision 2ac218dc2d0119bdb6becafa6a7789a65786f7dc)
+++ INSTALL	(revision e75b753b930da85fcaf3019b41f027d3a0c102a5)
@@ -9,8 +9,8 @@
 
   $ ./autogen.sh
-  $ ./configure
+  $ ./configure [ --prefix=/some/directory ]
   $ make -j 8 install
 
-For users using the distributed tarball:
+For users using the distributed tarball / github:
 
   $ ./configure
@@ -20,16 +20,18 @@
 
 
-Options for 'configure'
+Options for configure
 ======================================
-The script 'configure' accepts many command line arguments.  Run './configure
---help' to see a list of all of them.  This document attempts to summarize the
-most useful arguments.
+The script 'configure' accepts many command-line arguments.  Run
 
---prefix=/some/directory controls the path prefix common to all installed
-  cfa-cc components.  Some components are installed in /some/directory/bin,
-  others in /some/directory/lib.  If unspecified, this defaults to /usr/local.
-  To use (a subdirectory of) your home directory, ${HOME}/some/dir works, but
-  it is important not to put quotes around the directory path; Cforall may
-  appear to build, but the installed version may not work properly.
+  $ ./configure --help
+
+to list them.  The most common argument is:
+
+  --prefix=/some/directory controls the path prefix common to all installed
+    cfa-cc components.  Components are installed in directories bin and lib.
+    If unspecified, prefix defaults to /usr/local.  To use (a subdirectory of)
+    your home directory, ${HOME}/some/dir, but do not put quotes around the
+    directory path; Cforall may appear to build, but the installed version may
+    not work properly.
 
 
Index: tests/pybin/tools.py
===================================================================
--- tests/pybin/tools.py	(revision 2ac218dc2d0119bdb6becafa6a7789a65786f7dc)
+++ tests/pybin/tools.py	(revision e75b753b930da85fcaf3019b41f027d3a0c102a5)
@@ -376,5 +376,8 @@
 		return 1, "ERR No core dump"
 
-	return sh('gdb', '-n', path, core, '-batch', '-x', cmd, output_file=subprocess.PIPE)
+	try:
+		return sh('gdb', '-n', path, core, '-batch', '-x', cmd, output_file=subprocess.PIPE)
+	except:
+		return 1, "ERR Could not read core with gdb"
 
 def core_archive(dst, name, exe):