Merge "gdbrunner: avoid using `[` on older devices."