Work around an incorrect string dump syntax produced by some gdb versions.