trying to avoid distifile error: "undefined macro _alt_kernel"