Learn more about these different git repos.
Other Git URLs
926c6d3
- add a way to set the default $TMPDIR at compile-time, or using an environment variable