FAIL: gdb.dwarf2/gdb-index.exp: touch binary