Fix git snafu due to OSX case-aware-insensitive filesystem.