case-sensitivity: script patches

Probably not needed, but it's cleaner this way.