fix error related to case-sensitive python and case-insensitive git