fix ignore-case.sh (fixup)