Case sensitivity

Cloned GitHub repositories end up in lowercase.