builtin-diff.c: die() formatting type fix.