I noticed that gdb-exec has this: (ext:run-program "gdb" ...) Should "gdb" be replaced by *gdb-program-name*? I suppose it's ok if gdb and *gdb-program-name* are the same but they might be different since *gdb-program-name* is currently hardwired to /usr/bin/gdb. Ray