set Opt_SpecConstr just in case.