diff.c: Extra checking for ignore-case=true