The original used to pass with /bin/dash but not with /bin/bash set
to $SHELL_PATH.  The former turns "\\" into "\", but the latter does
not.
Signed-off-by: NJunio C Hamano <gitster@pobox.com>