make sure patches obtained via 'git diff' are compatible with older versions of patch tool