rename Spec(param.env) to Spec(param.emu)