Fix case sensitivity bug in types filenames.