The search path facility is there only for “convenience”, for quick-and-dirty examples: the recommended approach is to explicitly list the mapping providing the IFC for the modules.  I continue to believe that is the right approach - but would love to be proven wrong.