Github has case-sensitive URLs when cloning. Fixes #2