4.2 is much stricter about case sensitivity

This merged up from 3.0-trunk where CASESENSITIVE wasn't specified.