I currently have a solution to this problem in pitch.
In the meantime, you can usually work around this sort of issue by adding -Xfrontend -alias-module-names-in-module-interface to the OTHER_SWIFT_FLAGS build setting for the module in question. This is a temporary workaround, not a permanent supported feature, but it's been pretty reliable in practice.