simpler gdb-configure