diff-highlight: use correct /dev/null for UNIX and Windows