We're running a final collection after moduleDtor but I'll drop the lazy initialization, because we're always running that final collection anyhow.