Fix bad format for stdeb.cfg