Thanks Rayan,
I've made that change in my copy of the 2.0.6 simple_test.sh, and the tests all pass now.
I wasn't able to find 2.0.7 (and that's OK). I'd gotten 2.0.6 from http://minia.genouest.org/dsk and the update hasn't made it there yet. I then tried to find a DSK repository online but gave up fairly quickly because I wasn't sure if what I found was up to date, and it appeared to be source code only (I'd tried to build from source yesterday but failed because my version of cmake is too old).
Anyway, I'm up and running, thanks!
Bob H