Avoid gcc warning in diff-stages.c