HasDischargeEnv
with-rtsopts=-T makes ekg actually work