TLC makes sure that the module file is correct in regard to case sensitivity. Probcli converts the file name to lower case. Now the translator provides the canonical name of the file to TLC.