Older git compatibility

don't use 'git remote set-url'.
Fixes #1456