Good question, I don't know. But I don't see how it could be correct, because python module names are case-sensitive, and existing python code is written against the un-normalized names. http://reviews.llvm.org/D4441