git diff too slow for a file