Use locale-independent case conversion in String.h (ASCII-only)