Specify user in remote repo url. Fixes #4b.