Issue #13725: regrtest does not recognize -d flag.

Patch by Erno Tukia.