diff.c: work around pointer constness warnings