Learn more about these different git repos.
Other Git URLs
5cbe56
build system: replace $(pwd) with $(pwd -P) for explicit/consistent behavior.