Michael Hutchinson on IRC suggested that I grep the source for MONO_GAC_PREFIX, and, based on that, add a function to the embedding API that adds a single fallback path (without appending lib/mono/gac to it). That seems reasonable to me. Is this approach likely to be acceptable for Mono?