Avoid confusion between github/ and Github.py on case-insensitive file systems (#143)