diff --git a/gdb2fail.sh b/gdb2fail.sh
index 893c6b9..939c1e7 100755
--- a/gdb2fail.sh
+++ b/gdb2fail.sh
@@ -27,6 +27,9 @@ do
     if test -z "$ver" ; then
     ver=`echo "$f" | sed -n -e 's,^.*/scratch/.*/task_\([0-9]*\)/logs/\([^/]*\)/.*$,-\1,p'`
     fi
+    if test -z "$ver" ; then
+    ver=`echo "$f" | sed -n -e 's,^.*/build-\([0-9]*\)/.*$,-\1,p'`
+    fi
     if test -z "$isa" ; then
     isa=`echo "$f" | sed -n -e 's,^.*/scratch/.*/task_\([0-9]*\)/logs/\([^/]*\)/.*$,-\2,p'`
     fi