stdeb.cfg: remove outdated option