I don’t think there’s anywhere where the module file name is used in this particular situation. That’s all done by Make.