debian: Use DODTIME instead of DIETIME in init scripts