Avoid using git-diff since it might run external diff drivers