export function patchPiExtensionLoaderSource(source: string): string;