Move stdeb options to stdeb.cfg, which avoids 'no such option'