try to prevent old extensions from exploding mysteriously; probably, there's a better...