SourceManager: respect the disableProximatePaths test setting when loading headers
SourceManager: respect the disableProximatePaths test setting when loading headers

MikePopoloski/slang,MikePopoloski/slang