https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88040
--- Comment #1 from Iain Buclaw <ibuclaw at gdcproject dot org> --- I don't suppose this could make use of the existing -fmodule-file= option, which translates a module name to a different file path?